np completeness

非决定性多项式完全性